Computer Science for IGCSE & O level - Programming (Section 10 - No. 12)
What is the key characteristic of a post-condition loop?
The condition is checked before each iteration.
The loop body is guaranteed to execute at least once.
The loop may not execute at all.
It is also known as a pre-condition loop.
Shpjegimi
Because the condition is checked *after* the loop body, the body always executes at least once.